Interactive Mathematics with Strong OpenMath
نویسندگان
چکیده
Interactive mathematics over the Internet is particularly appealing in that it can take advantage of the wealth of resources available online. Among the prerequisites to cooperation among systems for computer mathematics is the meaningfulness of the objects that are exchanged. Strong OpenMath is a sublanguage of OpenMath for which meaningfullness of the objects is exactly de ned. The paper addresses the notion of contexts, in which the semantical meaning of Strong OpenMath objects can be established, and one of the possible ways of checking this meaningfulness. Finally, a description of an interactive mathematics course in which Strong OpenMath will be used is outlined.
منابع مشابه
OpenMath Technology for Interactive Mathematical Documents
New technologies such as xml, xsl and both MathML and OpenMath make it possible to bring mathematics to the Internet. Indeed, OpenMath, a markup language for mathematical content, and OmDoc, its extension to mathematical documents, open a way of communicating mathematics between computers, between software applications and over the Internet without losing information. In this paper we describe ...
متن کاملInteractive Mathematical Documents on the Web
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics between these entities is based on the OpenMath standard and Java technology. But, for the management of the communication, more protocols and tools are needed. We describe an architecture that serves as a framework for ...
متن کاملOpenMath and SMT-LIB
OpenMath and SMT-LIB are languages with very different origins, but both"represent mathematics". We describe SMT-LIB for the OpenMath community and consider adaptations for both languages to support the growing SC-Square initiative.
متن کاملSemantics of OpenMath and MathML3
Even though OpenMath has been around for more than 10 years, there is still confusion about the “semantics of OpenMath”. As the upcoming MathML3 recommendation will semantically base Content MathML on OpenMath Objects, this question becomes more pressing. One source of confusions about OpenMath semantics is that it is given on two levels: a very weak algebraic semantics for expression trees, wh...
متن کاملObjectives of Openmath
OpenMath aims at providing a universal means of communicating mathematical information between applications. In this paper we present a global description of OpenMath as well as some exemplary scenarios involving its use. Through examination of these scenarios we nd a list of requirements leading to suggestions regarding structure and implementation of OpenMath.
متن کامل